翻訳と辞書 Words near each other ・ Honar Sun Me Hya Gharchi ・ Honarstan-e Kashavarzi ・ Honarstan-e Kashavarzi, Razavi Khorasan ・ Honau ・ Honau, Switzerland ・ Honaunau-Napoopoo, Hawaii ・ Honaviyeh ・ Homotopy groups of spheres ・ Homotopy hypothesis ・ Homotopy Lie algebra ・ Homotopy lifting property ・ Homotopy perturbation method ・ Homotopy principle ・ Homotopy sphere ・ Homotopy to Marie ・ Homotopy type theory ・ Homotrimer ・ Homotrixa ・ Homotropic ・ Homotrysis ・ Homotrysis macleayi ・ Homoty ・ Homovanillic acid ・ Homovanillyl alcohol ・ Homovore ・ Homowo ・ Homozeugos ・ Homozeugos conciliatum ・ Homp ・ Homprenorphine Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Homotopy type theory ： ウィキペディア英語版 Homotopy type theory In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intensional type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Homotopy type theory」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.